linear programming inequalities